Affiliations GDR GDR IM: informatique mathématique DAAL: data, automata, algebra & logic LHC: logique, homotopie, catégories SCALP: structures formelles pour le calcul et les preuves Vérif: vérification GDRI LL: linear logic Current projects CoREACT: Russ Harmer. ANR QuaReMe: Matteo Mio. ANR DyVerSe: Pierre Clairambault. ANR Recently ended CoVeCe: Damien Pous. ERC Starter Repas: Matteo Mio … Continue reading Projects